1. Advances in Software EngineeringInternational Conference on Advanced Software Engineering and Its Applications, ASEA 2009, held as part of the Future Generation Information Technology Conference, FGIT 2009, Jeju Island, Korea, December 10-12, 2009: proceedings
Author:
Library: Central Library of Sharif University of Technology (Tehran)
Subject: Congresses ، Software engineering,Congresses ، Computer software-- Development
Classification :
QA
76
.
758
.
I5694
2009
2. Advances in software engineering techniques
Author: Tomasz Szmuc, Marcin Szpyrka, Jaroslav Zendulka (eds.)
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer software-- Development, Congresses,Software engineering, Congresses
Classification :
QA76
.
758
.
I35
2009eb
3. Balancing agility and formalism in software engineerin
Author: / Bertrand Meyer, Jerzy R. Nawrocki, Bartosz Walter (eds.)
Library: Central Library and Document Center of Shahid Chamran University (Khuzestan)
Subject: Software engineering--Congresses,Computer software--Development--Congresses
4. Balancing agility and formalism in software engineering
Author:
Library: Central Library and Documents Center of Mazandaran University (Mazandaran)
Subject: Software engineering ; Congresses. ; Computer software ; Development ; Congresses. ;
5. Component-based software engineering
Author: / George T. Heineman ... [et al.] (eds.).
Library: Library of College of Science University of Tehran (Tehran)
Subject: Software engineering,-- Congresses,a04,Computer software--Development--Congresses.
Classification :
QA76
.
758
.
C39
2005
6. Component-based software engineering
Author: / George T. Heineman ... [et al.] (eds.)
Library: Central Library and Document Center of Shahid Chamran University (Khuzestan)
Subject: Software engineering--Congresses,Computer software--Development--Congresses,Component-based software engineering,CBSE
Classification :
QA
,
76
.
758
,.
C39
,
2005
7. Component-based software engineering : 8th International Symposium, CBSE 2005, St. Louis, Mo, USA, May 14-15, 2005 : proceedings
Author: George T. Heineman ... ]et al.[ )eds.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Software engineering,Congresses ، Computer software -- Development
Classification :
QA
76
.
L28
Vol
.
3489
8. Component-based software engineering : 7th international symposium, CBSE 2004, Edinburgh, UK, May 24-25, 2004 : proceedings
Author: Ivica Crnkovic....]et al.[ )eds.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Software engineering,Congresses ، Computer software -- Development
Classification :
QA
76
.
L28
Vol
.
3054
9. FM 2012
Author: Dimitra Giannakopoulou, Dominique Méry (eds.)
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer software-- Development, Congresses,Formal methods (Computer science), Congresses,Software engineering, Congresses
Classification :
QA76
.
76
.
D47
I593
2012eb
10. First IEEE International Conference Conference ]sic[ on Formal Engineering Methods: proceedings, Hiroshima, Japan, November 12-14, 1997
Author:
Library: Central Library of Sharif University of Technology (Tehran)
Subject: Congresses ، Engineering-- Methodology,Congresses ، Computer software-- Development
Classification :
TA
5
.
I415
1997
11. Formal methods and software engineering :
Author: Jing Sun, Meng Sun (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Formal methods (Computer science), Congresses.,Software engineering, Congresses.,Computer programming-- software development.,Computers-- Expert Systems.,Computers-- General.,Computers-- Hardware-- Handheld Devices.,Computers-- Programming-- General.,Computers-- Software Development & Engineering-- General.,Expert systems-- knowledge-based systems.,Formal methods (Computer science),Information technology: general issues.,Mathematical theory of computation.,Mathematics-- Logic.,Software engineering.,Software Engineering.,Systems analysis & design.
Classification :
QA76
.
9
.
F67
12. Formal methods for multicore programming
Author: \ Marco Bernardo , Einar Broch Johnsen (Eds.)
Library: Library of Foreign Languages and Islamic Sources (Qom)
Subject: Computer software -- Development -- Congresses.,Formal methods (Computer science) -- Congresses.,Software engineering.,نرمافزار -- تولید -- کنگره ها ,روشهای صوری (کامپیوتر) -- کنگره ها
Classification :
QA
76
.
76
.
F6
2015
E-Book
,
13. Foundations of computer software
Author: Radu Calinescu, Ethan Jackson (eds.)
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer software-- Development, Congresses,Computer software-- Verification, Congresses,Software engineering, Congresses
Classification :
QA76
.
76
.
D47
M66
2011
14. Foundations of computer software : modeling, development, and verification of adaptive systems, 16th Monterey Workshop 2010, Redmond, WA, USA, March 31- April 2, 2010 : revised selected papers
Author:
Library: Library of Razi Metallurgical Research Center (Tehran)
Subject: Development -- Congresses ، Computer software,Verification -- Congresses ، Computer software,Congresses ، Software engineering
Classification :
QA
76
.
76
.
D47
.
M666
2011
15. Fundamental approaches to software engineering :
Author: Alessandra Russo, Andy Schürr (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Software engineering, Congresses.,Computer science.,Computers / Software Development & Engineering.,Software engineering.
Classification :
QA76
.
758
.
F37
2018eb
16. Fundamental approaches to software engineering
Author: Juan de Lara, Andrea Zisman (eds.)
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer software-- Development, Congresses,Computer software-- Verification, Congresses,Software engineering, Congresses
Classification :
QA76
.
758
.
F44
2012eb
17. Intelligent Software Methodologies, Tools and Techniques
Author: \ [edited by] Hamido Fujita, Ali Selamat.
Library: Library of Foreign Languages and Islamic Sources (Qom)
Subject: Software engineering -- Congresses.,Computer software -- Development -- Congresses.,Artificial intelligence -- Congresses.,نرمافزار -- مهندسی-- کنگرهها ,نرمافزار -- تولید -- کنگره ها ,هوش مصنوعی-- کنگرهها
Classification :
QA
76
.
758
.
I5
2015
E-Book
,
18. Intelligent Software Methodologies, Tools and Techniques
Author: [Edited by] Hamido Fujita, Guido Guizzi
Library: Library of Foreign Languages and Islamic Sources (Qom)
Subject: Software engineering -- Congresses.,Computer software -- Development -- Congresses.,نرمافزار -- مهندسی-- کنگرهها ,نرمافزار -- تولید -- کنگره ها
Classification :
TK
5105
.
5
.
I5
2015
E-Book
,
19. Mathematical Foundations of Software Development TAPSOFT : Proceedings of the International Joint Conference on Theory and Practice of Software Development )TAPSOFT(, Berlin, March 25-29, 1985
Author: Edited by Harmut Ehrig...]et al.[
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Mathematics -- Congresses ، Computer software -- Development,Congresses ، Software engineering,Data proceesing -- Congresses ، Trees )Graph theory(,Congresses ، Algebra,Congresses ، Computer programming
Classification :
QA
76
.
L28
Vol
.
185-186
20. Model driven architecture : foundations and applications : first European conference, ECMDA-FA 2005, Nuremberg, Germany, November 2005 : proceedings
Author: Alan Hartman, David Kreische )eds.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Computer architecture,Congresses ، Computer software -- Development,Congresses ، Software engineering
Classification :
QA
76
.
L28
Vol
.
3748
